Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
761	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
762	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science
763	Impact Simulation and Analysis When performance is critical for success Advanced Impact Modelling Capability Advanced Composite Structures Australia has world leading knowledge, Add to Reading List Source URL: www.acs-aus.com Language: English - Date: 2014-04-23 22:46:16 Logic simulation Composite Scientific modelling Engineering Car safety Epistemology Philosophy of science Pam-Crash Firehole Composites Composite material Simulation Structural engineering
764	Towards More Useful Description Logics of Time, Change and Context V´ıctor Didier Guti´errez Basulto DISSERTATION zur Erlangung des akademischen Grades Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-05-22 05:57:02 Information science Temporal logic Modal logic Science Information Non-classical logic Artificial intelligence Description logic
765	Applied Artiﬁcial Intelligence, 23:758–788 Copyright © 2009 Taylor & Francis Group, LLC ISSN: printonline DOI: VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2012-08-01 20:05:41 Mathematical logic Science Data security Distributed firewall Tbox Firewall Abox Axiom Description logic Computer network security Logic Ontology
766	Hartmann Hoefer Bovens 2nd pages.pdf Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2008-03-08 17:29:00 Epistemology Reasoning Philosophy of science Causality Conditionals Inference Mechanism Abductive reasoning Wesley C. Salmon Knowledge Science Logic
767	Metadata of the article that will be visualized in OnlineFirst ArticleTitle Book notice Article Sub-Title Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2010-10-18 10:23:46 Knowledge Philosophers of mathematics Gifford Lecturers Philosophical movements Philosophy of mathematics Michael Dummett Empiricism Gottlob Frege Logic Philosophy Analytic philosophers Science
768	DECOMPOSITION OF COMPLEX DECISION PROBLEMS WITH APPLICATIONS TO ELECTRICAL POWER SYSTEM PLAJrnING by Add to Reading List Source URL: www.cazalet.com Language: English - Date: 2015-05-20 21:05:30 Applied mathematics Algorithm Mathematical logic Theoretical computer science Decision problem John von Neumann Mathematical optimization Economic model Mathematical economics Mathematics Operations research Science
769	The Philosophy of History Georg Wilhelm Friedrich Hegel With Prefaces by Charles Hegel and the Translator, J. Sibree, M.A. “The History of the World is not intelligible apart from a Government of the World.” — W. V Add to Reading List Source URL: www.hegel.net Language: English - Date: 2015-02-15 12:32:39 Science of Logic Elements of the Philosophy of Right Lectures on the Philosophy of History Geist Immanuel Kant German philosophy The Phenomenology of Spirit African Uplands Philosophy German idealism Georg Wilhelm Friedrich Hegel
770	BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-09 04:26:17 Universal property Lambda calculus Functor Combinatory logic Initial algebra Function Equivalence of categories Sheaf Coproduct Mathematics Category theory Abstract algebra

UPDATE